Algorithm and Hardware Design of Discrete-Time Spiking Neural Networks Based on Back Propagation with Binary Activations

We present a new back propagation based training algorithm for discrete-time spiking neural networks (SNN). Inspired by recent deep learning algorithms on binarized neural networks, binary activation with a straight-through gradient estimator is used to model the leaky integrate-fire spiking neuron, overcoming the difficulty in training SNNs using back propagation. Two SNN training algorithms are proposed: (1) SNN with discontinuous integration, which is suitable for rate-coded input spikes, and (2) SNN with continuous integration, which is more general and can handle input spikes with temporal information. Neuromorphic hardware designed in 40nm CMOS exploits the spike sparsity and demonstrates high classification accuracy (>98% on MNIST) and low energy (48.4-773 nJ/image).Comment: 2017 IEEE Biomedical Circuits and Systems (BioCAS

Full-Field, Carrier-Less, Polarization-Diversity, Direct Detection Receiver based on Phase Retrieval

We realize dual-polarization full-field recovery using intensity only measurements and phase retrieval techniques based on dispersive elements. 30-Gbaud QPSK waveforms are transmitted over 520-km standard single-mode fiber and equalized from the receiver outputs using 2X2 MIMO

Warped Compactification with an Abelian Gauge Theory

We investigate warped compactification with an abelian gauge theory in six dimensions. The vanishing cosmological constant in four dimensions can generically be realized with a regular metric even in a 3-brane background without fine tuning of couplings.Comment: 6 pages, late

The Chlamydia trachomatis Type III Secretion Chaperone Slc1 Engages Multiple Early Effectors, Including TepP, a Tyrosine-phosphorylated Protein Required for the Recruitment of CrkI-II to Nascent Inclusions and Innate Immune Signaling

Chlamydia trachomatis, the causative agent of trachoma and sexually transmitted infections, employs a type III secretion (T3S) system to deliver effector proteins into host epithelial cells to establish a replicative vacuole. Aside from the phosphoprotein TARP, a Chlamydia effector that promotes actin re-arrangements, very few factors mediating bacterial entry and early inclusion establishment have been characterized. Like many T3S effectors, TARP requires a chaperone (Slc1) for efficient translocation into host cells. In this study, we defined proteins that associate with Slc1 in invasive C. trachomatis elementary bodies (EB) by immunoprecipitation coupled with mass spectrometry. We identified Ct875, a new Slc1 client protein and T3S effector, which we renamed TepP (Translocated early phosphoprotein). We provide evidence that T3S effectors form large molecular weight complexes with Scl1 in vitro and that Slc1 enhances their T3S-dependent secretion in a heterologous Yersinia T3S system. We demonstrate that TepP is translocated early during bacterial entry into epithelial cells and is phosphorylated at tyrosine residues by host kinases. However, TepP phosphorylation occurs later than TARP, which together with the finding that Slc1 preferentially engages TARP in EBs leads us to postulate that these effectors are translocated into the host cell at different stages during C.trachomatis invasion. TepP co-immunoprecipitated with the scaffolding proteins CrkI-II during infection and Crk was recruited to EBs at entry sites where it remained associated with nascent inclusions. Importantly, C. trachomatis mutants lacking TepP failed to recruit CrkI-II to inclusions, providing genetic confirmation of a direct role for this effector in the recruitment of a host factor. Finally, endocervical epithelial cells infected with a tepP mutant showed altered expression of a subset of genes associated with innate immune responses. We propose a model wherein TepP acts downstream of TARP to recruit scaffolding proteins at entry sites to initiate and amplify signaling cascades important for the regulation of innate immune responses to Chlamydia.Fil: Chen, Yi-Shan. University of Duke; Estados UnidosFil: Bastidas, Robert J.. University of Duke; Estados UnidosFil: Saka, Hector Alex. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. University of Duke; Estados UnidosFil: Carpenter, Victoria K.. Duke University Medical Center; . University of Duke; Estados UnidosFil: Richards, Kristian L.. Miami University; Estados UnidosFil: Plano, Gregory V.. Miami University; Estados UnidosFil: Valdivia, Raphael H.. University of Duke; Estados Unido

Two Meson Systems with Ginsparg-Wilson Valence Quarks

Unphysical effects associated with finite lattice spacing and partial quenching may lead to the presence of unphysical terms in chiral extrapolation formulae. These unphysical terms must then be removed during data analysis before physical predictions can be made. In this work, we show that through next-to-leading order, there are no unphysical counterterms in the extrapolation formulae, expressed in lattice-physical parameters, for meson scattering lengths in theories with Ginsparg-Wilson valence quarks. Our work applies to most sea quark discretization, provided that chiral perturbation theory is a valid approximation. We demonstrate our results with explicit computations and show that, in favorable circumstances, the extrapolation formulae do not depend on the unknown constant C_Mix appearing at lowest order in the mixed action chiral Lagrangian. We show that the I=1 KK scattering length does not depend on C_Mix in contrast to the I=3/2 K-pi scattering length. In addition, we show that these observables combined with f_K / f_pi and the I=2 pi-pi scattering length share only two linearly independent sets of counterterms, providing a means to test the mixed action theory at one lattice spacing. We therefore make a prediction for the I=1 KK scattering length.Comment: 21 pages, 2 figures, 2 tables. Version to be published in PRD. Improved discussion in Sec. III B. Added reference

Power Management and SRAM for Energy-Autonomous and Low-Power Systems

We demonstrate the two first-known, complete, self-powered millimeter-scale computer systems. These microsystems achieve zero-net-energy operation using solar energy harvesting and ultra-low-power circuits. A medical implant for monitoring intraocular pressure (IOP) is presented as part of a treatment for glaucoma. The 1.5mm3 IOP monitor is easily implantable because of its small size and measures IOP with 0.5mmHg accuracy. It wirelessly transmits data to an external wand while consuming 4.7nJ/bit. This provides rapid feedback about treatment efficacies to decrease physician response time and potentially prevent unnecessary vision loss. A nearly-perpetual temperature sensor is presented that processes data using a 2.1μW near-threshold ARM°R Cortex- M3TM μP that provides a widely-used and trusted programming platform. Energy harvesting and power management techniques for these two microsystems enable energy-autonomous operation. The IOP monitor harvests 80nW of solar power while consuming only 5.3nW, extending lifetime indefinitely. This allows the device to provide medical information for extended periods of time, giving doctors time to converge upon the best glaucoma treatment. The temperature sensor uses on-demand power delivery to improve low-load dc-dc voltage conversion efficiency by 4.75x. It also performs linear regulation to deliver power with low noise, improved load regulation, and tight line regulation. Low-power high-throughput SRAM techniques help millimeter-scale microsystems meet stringent power budgets. VDD scaling in memory decreases energy per access, but also decreases stability margins. These margins can be improved using sizing, VTH selection, and assist circuits, as well as new bitcell designs. Adaptive Crosshairs modulation of SRAM power supplies fixes 70% of parametric failures. Half-differential SRAM design improves stability, reducing VMIN by 72mV. The circuit techniques for energy autonomy presented in this dissertation enable millimeter-scale microsystems for medical implants, such as blood pressure and glucose sensors, as well as non-medical applications, such as supply chain and infrastructure monitoring. These pervasive sensors represent the continuation of Bell’s Law, which accurately traces the evolution of computers as they become smaller, more numerous, and more powerful. The development of millimeter-scale massively-deployed ubiquitous computers ensures the continued expansion and profitability of the semiconductor industry. NanoWatt circuit techniques will allow us to meet this next frontier in IC design.Ph.D.Electrical EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/86387/1/grgkchen_1.pd

Scalar Mesons a0(1450) and sigma(600) from Lattice QCD

We study the a0 and sigma mesons with the overlap fermion in the chiral regime with the pion mass as low as 182 MeV in the quenched approximation. After the eta'pi ghost states are separated, we find that the a0 mass with q\bar{q} interpolation field to be almost independent of the quark mass in the region below the strange quark mass. The chirally extrapolated results are consistent with a0(1450) being the u\bar{d} meson and K0*(1430) being the u\bar{s} meson with calculated masses at 1.42+_0.13 GeV and 1.41+_ 0.12 GeV respectively. We also calculate the scalar mesonium with a tetraquark interpolation field. In addition to the two pion scattering states, we find a state at around 550 MeV. Through the study of volume dependence, we confirm that this state is a one-particle state, in contrast to the two-pion scattering states. This suggests that the observed state is a tetraquark mesonium which is quite possibly the sigma(600) meson.Comment: 11 pages, 9 figures, accepted for publication in Phys. Rev.

Unwind: Interactive Fish Straightening

The ScanAllFish project is a large-scale effort to scan all the world's 33,100 known species of fishes. It has already generated thousands of volumetric CT scans of fish species which are available on open access platforms such as the Open Science Framework. To achieve a scanning rate required for a project of this magnitude, many specimens are grouped together into a single tube and scanned all at once. The resulting data contain many fish which are often bent and twisted to fit into the scanner. Our system, Unwind, is a novel interactive visualization and processing tool which extracts, unbends, and untwists volumetric images of fish with minimal user interaction. Our approach enables scientists to interactively unwarp these volumes to remove the undesired torque and bending using a piecewise-linear skeleton extracted by averaging isosurfaces of a harmonic function connecting the head and tail of each fish. The result is a volumetric dataset of a individual, straight fish in a canonical pose defined by the marine biologist expert user. We have developed Unwind in collaboration with a team of marine biologists: Our system has been deployed in their labs, and is presently being used for dataset construction, biomechanical analysis, and the generation of figures for scientific publication

CAutoCSD-evolutionary search and optimisation enabled computer automated control system design

This paper attempts to set a unified scene for various linear time-invariant (LTI) control system design schemes, by transforming the existing concept of 'Computer-Aided Control System Design' (CACSD) to the novel 'Computer-Automated Control System Design' (CAutoCSD). The first step towards this goal is to accommodate, under practical constraints, various design objectives that are desirable in both time and frequency-domains. Such performance-prioritised unification is aimed to relieve practising engineers from having to select a particular control scheme and from sacrificing certain performance goals resulting from pre-committing to the adopted scheme. With the recent progress in evolutionary computing based extra-numeric, multi-criterion search and optimisation techniques, such unification of LTI control schemes becomes feasible, analytically and practically, and the resultant designs can be creative. The techniques developed are applied to, and illustrated by, three design problems. The unified approach automatically provides an integrator for zero-steady state error in velocity control of a DC motor, meets multiple objectives in designing an LTI controller for a non-minimum phase plant and offers a high-performing LTI controller network for a nonlinear chemical process